<?php

# Next unique id to assign to a widget.
$Giocondo_next_id = 1;

# Mapping of ids to widgets.
$Giocondo_wid_idx = array();

#namespace Giocondo;

# main_loop -- Display a Giocondo application.

# Enter the (simulated) Giocondo event loop.
# This command does not return! Call it last.
function main_loop() {
	# Shows all windows that make up the application
	# (if any) in the order they were defined.
	# TODO: what to do when the user opens the same application multiple times?
	# TODO: make a function if the code grows.
	Window::first()->display(array(), TRUE);

	update_state();
}

# End of file
# vim: set ts=2 sw=2 noet:
?>
